ReP USP - Resultado da busca

Tese (Doutorado)
Reduzindo a volatilidade de requisitos com o volaRE (2008)
Santos, Eston Almança dos; Silva, José Reinaldo (Orientador)
Unidade: EP
Subjects: ENGENHARIA (DESIGN), ENGENHARIA DE REQUISITOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Eston Almança dos. Reduzindo a volatilidade de requisitos com o volaRE. 2008. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082008-141128/. Acesso em: 15 maio 2024.
APA
Santos, E. A. dos. (2008). Reduzindo a volatilidade de requisitos com o volaRE (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082008-141128/
NLM
Santos EA dos. Reduzindo a volatilidade de requisitos com o volaRE [Internet]. 2008 ;[citado 2024 maio 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082008-141128/
Vancouver
Santos EA dos. Reduzindo a volatilidade de requisitos com o volaRE [Internet]. 2008 ;[citado 2024 maio 15 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11082008-141128/
Trabalho de evento
Integrated tools environment for modeling and analysis of automated planning systems (2007)
Vaquero, Tiago Stegun; Sette, Fernando; Santos, Eston Almança dos; Silva, José Reinaldo
Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS FLEXÍVEIS DE MANUFATURA, AUTOMAÇÃO INDUSTRIAL, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VAQUERO, Tiago Stegun et al. Integrated tools environment for modeling and analysis of automated planning systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf. Acesso em: 15 maio 2024.
APA
Vaquero, T. S., Sette, F., Santos, E. A. dos, & Silva, J. R. (2007). Integrated tools environment for modeling and analysis of automated planning systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
NLM
Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
Vancouver
Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
Trabalho de evento
Specification and analysis for automated flexible manufacturing (2005)
Silva, José Reinaldo ; Santos, Eston Almança dos; Vaquero, Tiago Stegun
Source: COBEM 2005 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: XML, REDES DE PETRI, SISTEMAS FLEXÍVEIS DE MANUFATURA, AUTOMAÇÃO INDUSTRIAL, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos e VAQUERO, Tiago Stegun. Specification and analysis for automated flexible manufacturing. 2005, Anais.. Rio de Janeiro: ABCM, 2005. Disponível em: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf. Acesso em: 15 maio 2024.
APA
Silva, J. R., Santos, E. A. dos, & Vaquero, T. S. (2005). Specification and analysis for automated flexible manufacturing. In COBEM 2005 : proceedings. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
NLM
Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
Vancouver
Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
Trabalho de evento-resumo
Applying petri nets to requirements validation (2004)
Silva, José Reinaldo ; Santos, Eston Almança dos
Source: INCOM'04. Conference titles: IFAC Symposium on Information Control Problems in Manufacturing. Unidade: EP
Subjects: REDES DE PETRI, MECATRÔNICA (SISTEMAS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying petri nets to requirements validation. 2004, Anais.. Salvador: IFAC, 2004. Disponível em: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf. Acesso em: 15 maio 2024.
APA
Silva, J. R., & Santos, E. A. dos. (2004). Applying petri nets to requirements validation. In INCOM'04. Salvador: IFAC. Recuperado de https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
NLM
Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
Vancouver
Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
Parte de monografia/livro
Applying Petri nets to requirements validation (2004)
Silva, José Reinaldo ; Santos, Eston Almança dos
Source: Mechatronics. Unidade: EP
Subjects: REDES DE PETRI, MECATRÔNICA (SISTEMAS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf. Acesso em: 15 maio 2024.
APA
Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
NLM
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 maio 15 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
Vancouver
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 maio 15 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
Artigo de periodico
Applying Petri nets to requirements validation (2004)
Silva, José Reinaldo ; Santos, Eston Almança dos
Source: IFAC-PapersOnLine. Unidade: EP
Subjects: MECATRÔNICA, SISTEMAS DE INFORMAÇÃO, REDES DE PETRI, DINÂMICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. IFAC-PapersOnLine, v. 37, n. 4, p. 659-666, 2004Tradução . . Disponível em: https://doi.org/10.1016/S1474-6670(17)36190-6. Acesso em: 15 maio 2024.
APA
Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. IFAC-PapersOnLine, 37( 4), 659-666. doi:10.1016/S1474-6670(17)36190-6
NLM
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 maio 15 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6
Vancouver
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. IFAC-PapersOnLine. 2004 ;37( 4): 659-666.[citado 2024 maio 15 ] Available from: https://doi.org/10.1016/S1474-6670(17)36190-6
Relatorio tecnico
Especificando requisitos de sistemas com redes de Petri (2003)
Santos, Eston Almança dos; Silva, José Reinaldo
Unidade: EP
Assunto: REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Eston Almança dos e SILVA, José Reinaldo. Especificando requisitos de sistemas com redes de Petri. . São Paulo: EPUSP. Disponível em: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf. Acesso em: 15 maio 2024. , 2003
APA
Santos, E. A. dos, & Silva, J. R. (2003). Especificando requisitos de sistemas com redes de Petri. São Paulo: EPUSP. Recuperado de https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
NLM
Santos EA dos, Silva JR. Especificando requisitos de sistemas com redes de Petri [Internet]. 2003 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
Vancouver
Santos EA dos, Silva JR. Especificando requisitos de sistemas com redes de Petri [Internet]. 2003 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
Trabalho de evento
Applying Petri nets to requirements validation (2003)
Silva, José Reinaldo ; Santos, Eston Almança dos
Source: COBEM 2003: proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: MECATRÔNICA, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf. Acesso em: 15 maio 2024.
APA
Silva, J. R., & Santos, E. A. dos. (2003). Applying Petri nets to requirements validation. In COBEM 2003: proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
NLM
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
Vancouver
Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 maio 15 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
Dissertação (Mestrado)
Verificação de requisitos de sistemas utilizando redes de Petri (2002)
Santos, Eston Almança dos; Silva, José Reinaldo (Orientador)
Unidade: EP
Subjects: REDES DE PETRI, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Eston Almança dos. Verificação de requisitos de sistemas utilizando redes de Petri. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php. Acesso em: 15 maio 2024.
APA
Santos, E. A. dos. (2002). Verificação de requisitos de sistemas utilizando redes de Petri (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php
NLM
Santos EA dos. Verificação de requisitos de sistemas utilizando redes de Petri [Internet]. 2002 ;[citado 2024 maio 15 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php
Vancouver
Santos EA dos. Verificação de requisitos de sistemas utilizando redes de Petri [Internet]. 2002 ;[citado 2024 maio 15 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3132/tde-09012024-094013/pt-br.php

USP Schools

ReP

Filtros

Document Types

Date published

Subjects

Source title